$\forall$$L$:(top List). $\parallel$$L$$\parallel$ $\in$ $\mathbb{N}$